home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / basics / variables.sig < prev    next >
Encoding:
Text File  |  1993-01-27  |  498 b   |  21 lines
  1. (* Copyright 1990 by AT&T Bell Laboratories *)
  2. (* variables.sig *)
  3.  
  4. signature VARIABLES =
  5. sig
  6.  
  7.     datatype var
  8.       = VALvar of                          (* ordinary variables *)
  9.       {access : Access.access,
  10.        name : Symbol.symbol list,
  11.        typ : Types.ty ref}
  12.       | OVLDvar of                           (* overloaded identifier *)
  13.       {name : Symbol.symbol,
  14.        options: {indicator: Types.ty, variant: var} list ref,
  15.        scheme: Types.tyfun}
  16.       | ERRORvar
  17.  
  18.     val mkVALvar : Symbol.symbol ->  var
  19.  
  20. end
  21.